Overlaps among Requirements Specifications
نویسندگان
چکیده
Although overlap between specifications – that is the incorporation of elements which designate common features of the domain of discourse – is a prerequisite for specification inconsistency, it has only been a side concern in requirements engineering research. This paper discusses overlap, points out the complicating factors in its identification an outlines the key components of a programme of research in this area.
منابع مشابه
A semi-automatic process of identifying overlaps and inconsistencies between requirements specifications
Reconciliation is a method which supports the detection and verification of overlaps and the resolution of certain forms of inconsistencies between requirements specifications expressed in an object-oriented framework. The method identifies a set of candidate overlaps between two specifications by analysing their similarity. These overlaps are assessed by the authors of the specifications. If t...
متن کامل1 Overlaps among Requirements
Although overlap between specifications – that is the incorporation of elements which designate common features of the domain of discourse – is a prerequisite for specification inconsistency, it has only been a side concern in requirements engineering research. This paper discusses overlap, points out the factors which complicate identification of overlap, and outlines the key components of a p...
متن کاملReconciling Requirements: A Method for Managing Interference, Inconsistency and Conflict
This paper outlines a method, called reconciliation, for managing interference between partial specifications or viewpoints. The method supports the detection, verification and tracking of ontological overlaps. The paper describes the heuristics on which the method is based and illustrates the application of the method to a scenario.
متن کاملQuality of Requirements Specifications - A Framework for Automatic Validation of Requirements
Requirements specifications describe multiple technical concerns of a system and are used throughout the project life-cycle to help sharing a common understanding among the stakeholders. In spite a lot of interest has been given to manage the requirements lifecycle, which resulted in numerous tools and techniques becoming available, however, little work has been done that address the quality of...
متن کاملGenerating Logical Specifications from Requirements Models for Deduction-based Formal Verification
The work concerns automatic generation of logical specifications from requirements models. Logical specifications obtained in such a way can be subjected to formal verification using deductive reasoning. Formal verification concerns correctness of a model behaviour. Reliability of the requirements engineering is essential for all phases of software development processes. Deductive reasoning is ...
متن کامل